<!DOCTYPE html>
<html>
<head>
    <title></title>
</head>
<body>
<script>
    location.replace('docs' + location.hash);
</script>
<input checked="disabled">
</body>
</html>